1. Engineering Secure Software and Systems :
پدیدآورنده: edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
2. FM 2012
پدیدآورنده: Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
3. International Symposium on Programming :
پدیدآورنده: edited by Bernard Robinet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
6
E358
1980
4. International Symposium on Programming : proceedings
پدیدآورنده: edited by B. Robinet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
83
5. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: International Symposium on Programming, 4th, 0891, Paris
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
6. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
7. Programing Symposium, proceedings, colloque sur la programmation, Paris, April, 9-11, 1974
پدیدآورنده: edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
6
.
P7517
1974
8. Programming Symposium :
پدیدآورنده: edited by B. Robinet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.
رده :
QA76
.
6
E358
1974
9. Programming Symposium; Proceedings. Colloque sur Is programmation, Paris, April 9-11, 1974
پدیدآورنده: / Edited by B. Robinet
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming - Congresses
رده :
001
.
642
P964p
1974
10. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
پدیدآورنده: Programming Symposium, 4791, Paris
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
P7517
1974
11. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
پدیدآورنده: Edited by B. Robinet
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
P7517
1974
12. Selected papers of the Symposium on Operations Research :
پدیدآورنده: (SOR '99). K. Inderfurth ... (ed.). [GOR, Gesellschaft für Operations-Research e.V.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Magdeburg 1999.,Operations Research -- Kongress.
13. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
پدیدآورنده: Patrick Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2126
14. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
پدیدآورنده: Pascal van Hentenryck )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1302
15. Unifying theories of programming :
پدیدآورنده: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
